Power associativity